Advanced Content

Results: 649



#Item
201XMF / MIDI / Synthetic music mobile application format / Windows Mobile / Mobile content / Ringtone / Mobile game / Advanced Multimedia Supplements / Adobe Flash Lite / Computing / Software / Music notation file formats

Mobile Audio Technology Report and Recommendations Mobile Audio Prepared by the

Add to Reading List

Source URL: www.iasig.org

Language: English - Date: 2010-06-24 19:42:12
202Mathematical logic / Proof theory / Logic / Computer law / Intellectual property law / Creative Commons / Mathematical proof / Copyright law of the United States / Natural deduction / Open content / Copyleft / Law

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein Isar

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
203Graphic design / Folio / Book design / Book / Publishing / Printing / Communication design

Advanced Diploma in Visual Communication 30695QLD ENTRY FOLIO Content Requirements There are no set rules for what type of work your folio needs to contain. It can be any sort of creative works that you have undertaken t

Add to Reading List

Source URL: www.designcollege.com.au

Language: English - Date: 2013-12-07 08:09:04
204Computability theory / Programming idioms / Theoretical computer science / Computer law / Copyleft / Recursion / Creative Commons / Lambda calculus / Quicksort / Computer programming / Computing / Open content

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
205Computer law / Intellectual property law / Science / Creative Commons / Free music / Isabelle / Attribution / Natural deduction / Lambda calculus / Open content / Copyleft / Law

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein →

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
206Computer security / Deep packet inspection / System software / Security appliance / Content filtering / Firewall / Content-control software / Computer network security / Computing / Server appliance

ContentProtect Security Appliance The ContentProtect Security Appliance is a deep-packet, Layer 7 inspection appliance that scans, identifies, and controls Internet traffic—and provides advanced content filtering, rep

Add to Reading List

Source URL: www.contentwatch.com

Language: English - Date: 2011-07-13 15:00:12
207Program logic / Law / Computer law / Copyleft / Intellectual property law / Isabelle / Predicate transformer semantics / L4 microkernel family / Hoare logic / Theoretical computer science / Open content / Formal methods

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
208Intelligence Advanced Research Projects Activity / Reasoning / Cognitive science / Intelligence / Problem solving / Adaptive reasoning / Educational psychology / Mind / Psychology

N E W S RE L E AS E FOR IMMEDIATE RELEASE January 27, 2014 ODNI News Release No[removed]

Add to Reading List

Source URL: content.govdelivery.com

Language: English - Date: 2014-01-27 13:31:42
209EMC Corporation / SecurID / Secure Shell / One-time password / Password / Software token / Access token / Security token / Security / Computer security / Advanced Encryption Standard

RSA SecurId Token User’s Guide Version 1.0 – IT Support September 2014 Table of content 1

Add to Reading List

Source URL: www.eurecom.fr

Language: English - Date: 2014-10-01 04:29:49
210Law / Creative Commons / Free music / Universal quantification / Lambda calculus / Open content / Copyleft / Computer law

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
UPDATE